81. Applied Bayesian Statistic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Statistics,Mathematical statistics,Electronic books

رده :
E-BOOK

82. Applied Bayesian statistics

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Bayesian statistical decision theory

رده :
QA279
.
5
.
C69
2013

83. Applied Evolutionary Algorithms in Java

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computer software.,Electronic data processing.

84. Applied Mathematics: Body and Soul

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.

85. Applied Mathematics: Body and Soul

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.

86. Applied Mathematics: Body and Soul

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.

87. Applied Mathematics and Computational Mechanics for Smart Applications

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Mechatronics. ; Application software. ; Aerospace Technology and Astronautics. ; -Aerospace engineering. ; Astronautics. ; Mechanical engineering. ; Computer science

88. Applied Statistics Using SPSS, STATISTICA and MATLAB

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Engineering mathematics.,Engineering.,Physics.,Statistics.

89. Applied and Computational Control, Signals, and Circuits

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer engineering.,Engineering.,Systems engineering.

90. Applied hydrodynamics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Hydrodynamics

رده :
TC171
.
C47
2009

91. Applied integer programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integer programming

رده :
T57
.
74
.
C454
2010

92. Applied linear algebra :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebras, Linear.,Algebras, Linear.,Angewandte Mathematik-- Lineare Algebra.,Lineare Algebra-- Angewandte Mathematik.,Lineare Algebra.,Lineare Algebra.

رده :
QA184
.
2
.
S23
2008

93. Applied nonsingular astrodynamics optimal low-thrust orbit transfer /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Orbital transfer (Space flight),Space trajectories.,Trajectory optimization.,Orbital transfer (Space flight),Space trajectories.,Trajectory optimization.

رده :
TL1075
.
K43
2018

94. Applied physics, system science and computers II :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science, Congresses.,Physics, Congresses.,System theory, Congresses.,Biological and Medical Physics, Biophysics.,Electrical Engineering.,Engineering.,Mathematical Modeling and Industrial Mathematics.,Operating Procedures, Materials Treatment.,Biophysics.,Computer science.,Electrical engineering.,Mathematical modelling.,Physics.,Production engineering.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,System theory.

رده :
QC1

95. Artificial neural networks in biological and environmental analysis

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Artificial intelligence--Biological applications,Biology--Data processing,Environmental engineering--Data processing,Neural networks (Computer science)--Scientific applications

رده :
QH324
.
25
.
H36
2011

96. Automated Deduction - A Basis for Applications

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.

97. Automated deduction in geometr

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books

رده :
QA448
.
D38
,
I58
2011

98. Automated technology for verification and analysis :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
A96

99. BL

پدیدآورنده :

۴ نسخه از این کتاب در ۱ کتابخانه موجود است.

100. BL,BL

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)